French translation for "negation normal form"

forme normale négative

Example Sentences:

	1.	Java applet for converting logical formula to Negation Normal Form, showing laws used Java applet for converting logical formula to Negation Normal Form, showing laws used Portail de la logique
	2.	Negation normal form is not a canonical form: for example, a ∧ ( b ∨ ¬ c ) {\displaystyle a\land (b\lor \lnot c)} and ( a ∧ b ) ∨ ( a ∧ ¬ c ) {\displaystyle (a\land b)\lor (a\land \lnot c)} are equivalent, and are both in negation normal form. La forme normale négative n'est pas une forme canonique, par exemple, a ∧ ( b ∨ ¬ c )
	3.	Negation normal form is not a canonical form: for example, a ∧ ( b ∨ ¬ c ) {\displaystyle a\land (b\lor \lnot c)} and ( a ∧ b ) ∨ ( a ∧ ¬ c ) {\displaystyle (a\land b)\lor (a\land \lnot c)} are equivalent, and are both in negation normal form. La forme normale négative n'est pas une forme canonique, par exemple, a ∧ ( b ∨ ¬ c )
	4.	All the formulas of LTL can be transformed into negation normal form, where all negations appear only in front of the atomic propositions, only other logical operators true, false, ∧, and ∨ can appear, and only the temporal operators X, U, and R can appear. Toutes les formules de LTL peuvent être transformées en forme normale négative, où toutes les négations apparaissent seulement en face des propositions atomiques, seuls les opérateurs logiques vrai, faux, ∧ et ∨ peuvent apparaître, et seuls les opérateurs logiques X, U, et R peuvent apparaître.
	5.	The following formulae are all in negation normal form: ( A ∨ B ) ∧ C {\displaystyle (A\vee B)\wedge C} ( A ∧ ( ¬ B ∨ C ) ∧ ¬ C ) ∨ D {\displaystyle (A\wedge (\lnot B\vee C)\wedge \lnot C)\vee D} A ∨ ¬ B {\displaystyle A\vee \lnot B} A ∧ ¬ B {\displaystyle A\wedge \lnot B} The first example is also in conjunctive normal form and the last two are in both conjunctive normal form and disjunctive normal form, but the second example is in neither. Les formules suivantes sont en forme normale négative: ( A ∨ B ) ∧ C

Similar Words：

"negate" French translation, "negation" French translation, "negation (comics)" French translation, "negation (linguistics)" French translation, "negation as failure" French translation, "negative" French translation, "negative (finnish band)" French translation, "negative (photography)" French translation, "negative and positive atheism" French translation